Implementation of a Formal Software Requirements Ambiguity Prevention Tool

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Ambiguity in Natural Language Software Requirements: A Case Study

[Context and motivation] Ambiguous requirements are often seen as a cause for project failure, however there is little empirical data to support this claim. [Question/problem] In this research we study the effect of a highly ambiguous requirements document on project success. [Principal ideas/results] The studied project was a complex data processing system that took about 21 man year to develo...

متن کامل

A Step Towards Ambiguity Less Natural Language Software Requirements Specifications

In modern software engineering practice, the ability to specify ambiguity less software requirements in a natural language (NL) in a seamless way is highly valuable and desirable. Though, the software requirements are typically captured in natural languages (NL) such as English, there is a very high probability that more than half NL requirements can be ambiguous. For example, Mich identified t...

متن کامل

Software reuse using formal specification of requirements

Reuse c m be attempted ot any stage in a soputare life cycle. However, rewe will be more e f f i v e ut a higher level of abstraction mch as requirernents specifcation. The reason is that, one con easity understand the finctionalities of a reusable component when it is abstractly spm&d and ccn also JtrstzJtrstzfy that the component is indeed rewable. Softwcre can be r w e d i f and only i f its...

متن کامل

A Tool for Estimating Software Testing Requirements

We describe a prototype software tool that estimates the number of test cases required to apply particular testing strategies to program subroutines. The tool was used to evaluate the practicability of data ow testing of a commercial text analysis system which runs on microcomputers. Our system was developed from formal speci cations and is implemented in Prolog. It is easily adaptable and can ...

متن کامل

A Requirements-to-Implementation Mapping Tool for Requirements Traceability

Software quality is a major concern in software engineering, particularly when we are dealing with software services that must be available 24 hours a day, please the customer and be kept permanently. In software engineering, requirements management is one of the most important tasks that can influence the success of a software project. Maintain traceability information is a fundamental aspect ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: International Journal of Advanced Computer Science and Applications

سال: 2018

ISSN: 2156-5570,2158-107X

DOI: 10.14569/ijacsa.2018.090854